<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Jump to Javadoc on Web</title>
</head>
<body>
	<h2>Jump to Javadoc on Web</h2>
	Put your cursor on a class name (or method) and press Shift+F2 to jump
	to the web version of your library's Javadoc.
	<br>
	<br>
	<br>
	<br>
	<video style="width: 80%; display: block; margin: 0 auto;" autoplay>
		<source src="DIeSlFiUwAAWjcg.mp4" type="video/mp4">
		<source src="DIeSlFiUwAAWjcg.webm" type="video/webm">
	</video>
</body>
</html>